<html>
<body>
Reports calls to <code>Thread.setPriority()</code>.
Modifying priorities of threads is an inherently non-portable operation, as no guarantees
are given in the Java specification of how priorities are used in scheduling threads, or even
whether they are used at all.
<!-- tooltip end -->
</body>
</html>